<html>
<head><meta charset="utf-8"><title>Installing local miri · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Installing.20local.20miri.html">Installing local miri</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199652437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Installing%20local%20miri/near/199652437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jonas Schievink  [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Installing.20local.20miri.html#199652437">(Jun 03 2020 at 17:46)</a>:</h4>
<p>I'd like to add the miri component to a linked rustup toolchain (including <code>cargo-miri</code>). How can I do that?</p>
<p>I've tried <code>./x.py build --stage=1 src/tools/miri</code>, but running <code>cargo +stage1 miri</code> says that <code>cargo-miri</code> isn't installed.</p>



<a name="199712436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Installing%20local%20miri/near/199712436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Installing.20local.20miri.html#199712436">(Jun 04 2020 at 07:19)</a>:</h4>
<p>hmm... I never tried that. Likely <code>cargo +stage1 clippy</code> won't work either</p>



<a name="199712455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Installing%20local%20miri/near/199712455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Installing.20local.20miri.html#199712455">(Jun 04 2020 at 07:19)</a>:</h4>
<p>Tool binaries are put into a different directory</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>